منابع مشابه
Modular Verification of Feature-Oriented Software Models
Most existing modular model checking techniques betray their hardware roots: they assume that modules compose in parallel. In contrast, feature-oriented software designs, which have proven very successful in several domains, are sequential in the simplest case. Most interesting feature-oriented designs are really quasi-sequential compositions of parallel compositions. These designs demand and i...
متن کاملAutomating Modular Verification
Modular techniques for automatic verification attempt to overcome the state-explosion problem by exploiting the modular structure naturally present in many system designs. Unlike other tasks in the verification of finite-state systems, current modular techniques rely heavily on user guidance. In particular, the user is typically required to construct module abstractions that are neither too det...
متن کاملVerification Manager : Automating the Verification Process ∗
Although model checking is usually described as an automatic technique, the verification process with the use of model checker is far from being fully automatic. With the aim of automating the verification process, we elaborate on a concept of a verification manager. The manager automates some step of the verification process and enables efficient parallel combination of different verification ...
متن کاملAutomating Feature Engineering
Feature Engineering is the task of transforming the feature space in a given learning problem to improve the performance of a trained model. It is a crucial but timeintensive and skillful process, involving a data scientist or a domain expert. It is often the key determinant of the time and cost required to build an effective learner. In this paper, we discuss our system for performing feature ...
متن کاملAutomating Software Reuse
ment, whose objective is to empower domain experts themselves to specialize AM-PHION to an application domain. It is meant to be the automatic programming analogue of application generator generator technology. META-AMPHION will include an extension of the current user interface to guide domain experts in creating and extending a domain theory (in fact, the current user interface is already sui...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bell Labs Technical Journal
سال: 2002
ISSN: 1089-7089
DOI: 10.1002/bltj.2223